检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 基于模型检测的微服务组合平台QoS验证

毛昕怡, 钮俊, 丁雪儿, 张开乐

计算机应用 2020, 40 (11): 3267-3272. DOI: 10.11772/j.issn.1001-9081.2020030387

摘要（354）

PDF （754KB）（347）

针对当前缺少对微服务组合平台的服务质量（QoS）指标进行分析验证的问题，提出一种基于模型检测的形式化验证方法，对影响微服务平台性能的因素进行分析评估。首先，将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段，并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现；其次，将各个模块的实现过程建模为带标记Markov回报模型（LMRM），借助类似于进程代数的同步概念获得微服务组合过程的全局模型；接着，用连续随机回报逻辑公式刻画期望的QoS指标；最后，将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明，LMRM可较好地用于微服务组合平台的建模和QoS验证分析。

参考文献 | 相关文章 | 多维度评价

Select

2. 基于多特征权重分配的源代码搜索优化

李阵, 钮俊, 王奎, 辛园园

计算机应用 2018, 38 (3): 812-817. DOI: 10.11772/j.issn.1001-9081.2017082043

摘要（571）

PDF （968KB）（481）

对开源代码进行准确搜索是实现代码复用的前提。在基于关键字搜索的研究中，目前只关注匹配方法签名。结合源代码注释对方法功能的语义描述，提出结合代码注释的关键字搜索方法。通过生成源代码抽象语法树，从中识别方法签名与各类型注释等组合代码特征；将代码特征与查询语句分别用向量表示，并计算向量间的余弦相似度，然后制定针对搜索结果多特征权重分配的评分机制。根据评分对搜索结果进行排序，得到与查询语句相关的结果序列。实验结果表明，多个代码特征在不同权重影响下可以提升源代码搜索准确度。

参考文献 | 相关文章 | 多维度评价